The electrochemical dissolution of Pt in several ionic liquids (ILs) was studied. Different ILs were tested assessing their potential to dissolve Pt. Dissolution rate and current efficiency were evaluated. The main focus was on Cl containing ILs: first generation, eutectic-based ILs and second generation ILs with discrete anions. Pt dissolution only occurred in type 1 eutectic-based ILs with a max. dissolution rate of 192.2 g m?2 h?1 and a max. current efficiency of 99 % for the ZnCl2–1-ethyl-3-methylimidazolium chloride IL, and 9.090 g m?2 h?1 and 96 % for the 1:1 ZnCl2–choline chloride IL. The dissolution occurred through the formation of [PtClx]y? complexes. To form these complexes, addition of a metal chloride was necessary. Furthermore, an IL with an electrochemical window of 1.5 V, preferably 2.0 V was required to achieve Pt dissolution. The added metal salt needed to have a higher decomposition potential than 1.5 V or should be a Pt salt. 相似文献
New design criteria in the field of small and medium sized nuclear reactors will be illustrated; particular consideration will be given to the reactor MARS (Multipurpose Advanced Reactor, Inherently Safe) now under development at the Department of Energetics, University of Rome.An analysis of plant behaviour during a Station Black-out accident has been performed using the computer program RELAP 5/Mod. 2. 相似文献
Serum peptide profiling by MS is an emerging approach for disease diagnosis and biomarker discovery. A magnetic bead‐based method for off‐line serum peptide capture coupled to MALDI‐TOF‐MS has been recently introduced. However, the reagents are not available to the general scientific community. Here, we developed a protocol for serum peptide capture using novel magnetic C18 beads, and automated the procedure on a high‐throughput magnetic particle processor. We investigated bead equilibration, peptide binding and peptide elution conditions. The method is evaluated in terms of peaks counts and reproducibility of ion intensities in control serum. Overall, the DynaBead‐RPC18‐based serum sample processing protocol reported here is reproducible, robust and allows for the detection of ?200 peptides at m/z 800–4000 of serum that was allowed to clot for 1 h. The average intra‐experiment %CV of normalized ion intensities for crude serum and 0.5% TFA/0.15% n‐octyl glucoside‐treated serum, respectively, were 12% (range 2–38%) and 10% (3–21%) and the inter‐experiment %CVs were 24% (10–53%) and 31% (10–59%). Importantly, this method can be used for serum peptide profiling by anyone in possession of a MALDI‐TOF instrument. In conjunction with the KingFisher® 96, the whole serum peptide capture procedure is high‐throughput (?20 min per isolation of 96 samples in parallel), thereby facilitating large‐scale disease profiling studies. 相似文献
International Journal on Software Tools for Technology Transfer - Simulation-based analyses are becoming increasingly vital for the development of cyber-physical systems. Co-simulation is one such... 相似文献
In this article a novel approach to visual tracking called the harmony filter is presented. It is based on the Harmony Search algorithm, a derivative free meta-heuristic optimisation algorithm inspired by the way musicians improvise new harmonies. The harmony filter models the target as a colour histogram and searches for the best estimated target location using the Bhattacharyya coefficient as a fitness metric. Experimental results show that the harmony filter can robustly track an arbitrary target in challenging conditions. We compare the speed and accuracy of the harmony filter with other popular tracking algorithms including the particle filter and the unscented Kalman filter. Experimental results show the harmony filter to be faster and more accurate than both the particle filter and the unscented Kalman filter. 相似文献
We introduce parallel symbolic algorithms for bisimulation minimisation, to combat the combinatorial state space explosion along three different paths. Bisimulation minimisation reduces a transition system to the smallest system with equivalent behaviour. We consider strong and branching bisimilarity for interactive Markov chains, which combine labelled transition systems and continuous-time Markov chains. Large state spaces can be represented concisely by symbolic techniques, based on binary decision diagrams. We present specialised BDD operations to compute the maximal bisimulation using signature-based partition refinement. We also study the symbolic representation of the quotient system and suggest an encoding based on representative states, rather than block numbers. Our implementation extends the parallel, shared memory, BDD library Sylvan, to obtain a significant speedup on multi-core machines. We propose the usage of partial signatures and of disjunctively partitioned transition relations, to increase the parallelisation opportunities. Also our new parallel data structure for block assignments increases scalability. We provide SigrefMC, a versatile tool that can be customised for bisimulation minimisation in various contexts. In particular, it supports models generated by the high-performance model checker LTSmin, providing access to specifications in multiple formalisms, including process algebra. The extensive experimental evaluation is based on various benchmarks from the literature. We demonstrate a speedup up to 95\(\times \) for computing the maximal bisimulation on one processor. In addition, we find parallel speedups on a 48-core machine of another 17\(\times \) for partition refinement and 24\(\times \) for quotient computation. Our new encoding of the reduced state space leads to smaller BDD representations, with up to a 5162-fold reduction.
In a random selection of 480 veal carcasses, invasive measurements were made on the longissimus lumborum (LL) and biceps femoris (BF) with the Colormet, Hennessy Grading Probe (HGP4; LL only) and Invasive Meat Colour Meter. Surface colour of the rectus abdominis (RA) was determined instrumentally with the Minolta Chromameter and Surface Meat Colour Meter and visually by two persons, using a colour standard. All measurements were made at 30-40 min post mortem. Of the measurements made on the RA, the Surface Meat Colour Meter was best related to both visual judgements (r = -0·79; -0·73). The correlation coefficient between both visual judgements was 0·77. Clear differences were found between the invasive instruments in their ability to determine veal colour. The correlation coefficients between the invasive measurements and both visual judgements varied for the Colormet L (?)-value from -0·18 to -0·35, for the HGP4 from -0·40 to -0·49, and for the Invasive Meat Colour Meter from -0·69 to -0·74. Both for LL and BF the best relationships were found between the Invasive Meat Colour Meter and the Surface Meat Colour Meter (RA). 相似文献